Dynamic Preference Logic meets iterated belief change: Representation results and postulates characterization
نویسندگان
چکیده
AGM's belief revision is one of the main paradigms in study change operations. Recently, several logics for and information have been proposed literature used to encode operations rich expressive semantic frameworks. While connections AGM-like their encoding dynamic doxastic studied before by work Segerberg, most works on area Dynamic Epistemic Logics (DEL) not, our knowledge, attempted use those as tools investigate mathematical properties operators. This investigates how Preference Logic, a logic DEL family, can be operators, focusing well-known postulates iterated change.
منابع مشابه
A Dynamic Logic of Iterated Belief Change
In this paper we propose a general framework to study iterated changes of belief. Expansions, contractions and revisions are taken as actions which may be performed by an agent, resulting in a change of its beliefs. The syntax of the framework is given by a multi-modal language, containing modalities to reason about the agent's knowledge | representing its nondefeasible, veridical information |...
متن کاملRevealed preference, iterated belief revision and dynamic games
In previous work (G. Bonanno, Rational choice and AGM belief revision, Artificial Intelligence, 2009) a semantics for AGM belief revision was proposed based on choice frames, borrowed from the rational choice literature. In this paper we discuss how to use choice frames to analyze extensive-form games. Given an extensive form with perfect recall, a choice frame can be used to represent a player...
متن کاملIterated Belief Change in MAS
We give a model for iterated belief hange in multi-agent systems. The formal tool we use for this is a ombination of modal and dynami logi . Two ore notions in our model are the expansion of the knowledge and beliefs of an agent, and the pro essing of new information. An expansion has been de ned as the hange in the knowledge and beliefs of an agent when it de ides to believe an in oming formul...
متن کاملIterated Belief Change and the Levi Identity
Most works on iterated belief change have focussed on iterated belief revision, namely, on how to compute (K∗ x)∗y . However, historically, belief revision has been defined in terms of belief expansion and belief contraction that have been viewed as primary operations. Accordingly, what we should be looking at are constructions like: (K+ x ) + y , (K − x ) + y , (K + x ) − y and (K− x )−y . The...
متن کاملA Conditional Logic for Iterated Belief Revision
In this paper we propose a conditional logic IBC to represent iterated belief revision. We define an iterated belief revision system by strengthening the postulates proposed by Darwiche and Pearl [3]. First, following the line of Darwiche and Pearl, we modify AGM postulates to make belief revision a function of epistemic states rather than of belief sets. Then we propose a set of postulates for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2021
ISSN: ['1879-2294', '0304-3975']
DOI: https://doi.org/10.1016/j.tcs.2020.12.042